lowest upper bound

welcome to shbcf.ru